Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
711	Chapter 16 Programming Your App’s Memory Just as people need to remember things, so do apps. This chapter examines how you can program an app to Add to Reading List Source URL: www.appinventor.org Language: English Variables Type theory Cross-platform software Procedural programming languages Spreadsheet C Software engineering Mathematics Computing
712	CHAPTER 16 Programming Your App’s Memory Just as people need to remember things, so do apps. This chapter examines how you can program Add to Reading List Source URL: www.appinventor.org Language: English Computing Type theory Global variable C++ classes Local variable Scope Spreadsheet Mathematics Software engineering Variables
713	Statically Scoped Object Adaptation with Expanders Alessandro Warth Milan Stanojevi´c Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Object-oriented programming Cross-platform software Method Type theory Java programming language Eval Java Type system Factory method pattern Software engineering Computing Computer programming
714	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
715	Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights∗ I.M. Verloopa , U. Ayestab,c , R. Núñez-Queijaa,d CWI, Amsterdam, The Netherlands BCAM - Basque Center for App Add to Reading List Source URL: verloop.perso.enseeiht.fr Language: English - Date: 2011-10-08 11:48:43 Probability and statistics Markov models Operations research Network performance Queueing model Phase-type distribution Scheduling M/M/1 queue G–network Statistics Stochastic processes Queueing theory
716	LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Evaluation strategy Type theory Functional languages Procedural programming languages Programming paradigms Lazy evaluation Futures and promises Strict programming language ML Software engineering Computing Computer programming
717	Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization Heather Miller Philipp Haller Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2013-08-13 10:04:52 Type theory Object-oriented programming Data types Polymorphism Persistence Subtype polymorphism Scala Serialization Covariance and contravariance Software engineering Computing Computer programming
718	Geometric perspectives on topological action functionals Hisham Sati We describe the extended prequantum theory of Chern-Simons-type gauge field theories, which are the most prominent examples of topological field theori Add to Reading List Source URL: qcpages.qc.cuny.edu Language: English - Date: 2014-08-06 07:54:55 Algebraic topology Homology theory Theoretical physics Differential geometry Chern–Simons theory Moduli space Chern–Simons form Gauge theory Moduli Physics Abstract algebra Quantum field theory
719	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:52 Deduction Geometric group theory Orbifold Curry–Howard correspondence Mathematics Function Proof theory
720	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic

UPDATE